David Basin：在 Z-Library 上搜索

您通往知识和文化的门户。每个人都可以使用。

募捐 9月15日2024 – 10月1日2024

Z-Library 是世界上最大的在线图书馆之一，它拥有超过17,000,000的书籍和84,837,000的文章。我们的目标是让每个人都能获得文学作品. 今天(9月15日2024)，我们又发起了一个募捐活动，以支持和发展这个项目.

同时无限下载 (捐款后31日内) 可适与所有在10月1日2024之前进行捐款的用户.

关于筹款更多

捐款

书籍 (26)
最受欢迎
- 分类方式×
- 最受欢迎
- 最佳吻合
- 最近添加
- 按名称 (A-Z)
- 按名称 (Z-A)
- 按年份
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

Rippling: Meta-Level Guidance for Mathematical Reasoning

Cambridge University Press

Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland

年:

2005

语言:

english

文件:

PDF, 996 KB

0 / 0

english, 2005

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

年:

2004

语言:

english

文件:

PDF, 12.00 MB

0 / 0

english, 2004

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

David A. Basin (auth.), Laurent Fribourg, Franco Turini (eds.)

年:

1994

语言:

english

文件:

DJVU, 3.51 MB

0 / 0

english, 1994

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Dominique Cansell (auth.), David Basin, Burkhart Wolff (eds.)

年:

2003

语言:

english

文件:

PDF, 2.93 MB

0 / 0

english, 2003

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

年:

2004

语言:

english

文件:

PDF, 4.40 MB

0 / 0

english, 2004

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

年:

2004

语言:

english

文件:

DJVU, 9.11 MB

0 / 0

english, 2004

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.)

年:

2010

语言:

english

文件:

PDF, 6.39 MB

0 / 0

english, 2010

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)

年:

2009

语言:

english

文件:

PDF, 10.61 MB

0 / 0

english, 2009

Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Felix Klaedtke, Samuel Müller (auth.), Tayssir Touili, Byron Cook, Paul Jackson (eds.)

年:

2010

语言:

english

文件:

PDF, 8.67 MB

0 / 0

english, 2010

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)

年:

2009

语言:

english

文件:

PDF, 5.05 MB

0 / 0

english, 2009

Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Felix Klaedtke, Samuel Müller (auth.), Tayssir Touili, Byron Cook, Paul Jackson (eds.)

年:

2010

语言:

english

文件:

PDF, 8.73 MB

0 / 0

english, 2010

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.)

年:

2010

语言:

english

文件:

PDF, 6.47 MB

0 / 0

english, 2010

信息安全实用教程

北京：国防工业出版社

（瑞士）大卫·贝森（DAVID BASIN），帕特里克·沙勒（PATRICK SCHALLER），迈克尔·施莱普菲儿著；张涛，王金双，赵敏译, 贝森 (Basin, David)

年:

2015

语言:

Chinese

文件:

PDF, 33.86 MB

0 / 0

Chinese, 2015

The Complete Guide to SCION: From Design Principles to Formal Verification (Information Security and Cryptography)

Springer

Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig

年:

2022

语言:

english

文件:

PDF, 10.40 MB

4.0 / 5.0

english, 2022

Applied Information Security: A Hands-on Approach

Springer-Verlag Berlin Heidelberg

David Basin, Patrick Schaller, Michael Schläpfer (auth.)

年:

2011

语言:

english

文件:

PDF, 1.43 MB

0 / 0

english, 2011

Labelled Deduction

Springer Netherlands

David Basin, Marcello D’Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò (eds.)

年:

2000

语言:

english

文件:

PDF, 9.36 MB

0 / 0

english, 2000

Applied Information Security: A Hands-on Approach

Springer-Verlag Berlin Heidelberg

David Basin, Patrick Schaller, Michael Schläpfer (auth.)

年:

2011

语言:

english

文件:

PDF, 1.58 MB

0 / 4.5

english, 2011

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992

Springer-Verlag London

Ina Kraan, David Basin, Alan Bundy (auth.), Kung-Kiu Lau Bsc, PhD, Timothy Paul Clement Ma, DPhil (eds.)

年:

1993

语言:

english

文件:

PDF, 10.01 MB

0 / 0

english, 1993

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Dominique Cansell (auth.), David Basin, Burkhart Wolff (eds.)

年:

2003

语言:

english

文件:

PDF, 1.79 MB

0 / 0

english, 2003

Principles of Security and Trust: Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Rémy Chrétien, Stéphanie Delaune (auth.), David Basin, John C. Mitchell (eds.)

年:

2013

语言:

english

文件:

PDF, 3.46 MB

0 / 0

english, 2013

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

David A. Basin (auth.), Laurent Fribourg, Franco Turini (eds.)

年:

1994

语言:

english

文件:

PDF, 6.81 MB

0 / 0

english, 1994

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

年:

2009

语言:

english

文件:

PDF, 5.50 MB

0 / 0

english, 2009

Labelled deduction

Springer Netherlands

David Basin, Marcello D’Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò (eds.)

年:

2000

语言:

english

文件:

DJVU, 2.27 MB

0 / 0

english, 2000

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

年:

2009

语言:

english

文件:

PDF, 5.45 MB

0 / 0

english, 2009

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

年:

2009

语言:

english

文件:

PDF, 4.74 MB

0 / 0

english, 2009

The Complete Guide to SCION: From Design Principles to Formal Verification (Information Security and Cryptography)

Springer

Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig

年:

2022

语言:

english

文件:

PDF, 10.40 MB

0 / 5.0

english, 2022